Non local causality analysis in rule-based models

نویسندگان

  • Jean Krivine
  • Vincent Danos
  • Jérôme Feret
  • Walter Fontana
  • Russell Harmer
چکیده

CMACS workshop NYC 2012 " Programs as models " project Import tools from theoretical computer science in order to describe and analyze biological systems Develop new technique to cope with the complexity of the cell Theoretical computer science Abstract interpretation Concurrency theory Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualitative forms of reasoning. Yet, this same combinatorial explosion makes the traditional modelling paradigm based on systems of dierential equations impractical. In contrast, agent-based or concurrent languages, such as [1–3] or the closely related BioNetGen language [4–10], describe biological interactions in terms of rules, thereby avoiding the combinatorial explosion besetting dierential equations. Rules are expressed in an intuitive graphical form that trans

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

نسبت رابطه استناد و قاعده احسان در اسقاط مسؤولیت پزشک با نگاهی به قانون مجازات اسلامی 1392

Ehsan Rule and the effects on it in terms of compensatory and non-compensatory liabilities are of great importance; to the extent that it independently and initially revokes the liability based on a famous view among jurists and Jurisprudents. Based on the mentioned-view, in order to trigger Ehsan Rule and termination of liability, intentional and actual benefaction should necessarily exist. De...

متن کامل

The Impact of Human Capital on FDI with New Evidence from Bootstrap Panel Granger Causality Analysis

T his study evaluates the causality relationship between human capital and foreign direct investment inflow in twenty-six OIC (the Organization of Islamic Cooperation) countries over the period 1970–2014. We employed the panel Granger non-causality testing approach of Kònya (2006) that is based on seemingly unrelated regression (SUR) systems, and Wald tests with country specific boot...

متن کامل

The Rule of Banking System Development in Economic Growth : The Case of Iran

This paper empirically investigates the relationship between banks and economic growth emphasizing the transmission channels from financial development to growth in Iran using time series methodologies, namely Johansen’s co-integration and Granger causality methods in the context of error correction models (ECM). The results show that in our case study banks affect economic growth mainly throug...

متن کامل

Creep Life Forecasting of Weldment

One of the yet unresolved engineering problems is forecasting the creep lives of weldment in a pragmatic way with sufficient accuracy. There are number of obstacles to circumvent including: complex material behavior, lack of accurate knowledge about the creep material behavior specially about the heat affected zones (HAZ),accurate and multi-axial creep damage models, etc. In general, creep life...

متن کامل

درونزایی قیمت و مقدار در تجزیه و تحلیل تقاضای گوشت مرغ و گاو: شواهدی از گراف های غیرچرخشی سودار

In this study the causality relationship among variables in chicken and beef markets were investigated based on annual data from 1974 to 2004 in the I.S. of Iran. For this purpose, causality algorithms emerging from directed acyclic graphs were used in two cases, one based on co- integration analysis and innovation correlation matrix of Vector Error Correction Model (VECM) and the other using d...

متن کامل

درونزایی قیمت و مقدار در تجزیه و تحلیل تقاضای گوشت مرغ و گاو: شواهدی از گراف های غیرچرخشی سودار

In this study the causality relationship among variables in chicken and beef markets were investigated based on annual data from 1974 to 2004 in the I.S. of Iran. For this purpose, causality algorithms emerging from directed acyclic graphs were used in two cases, one based on co- integration analysis and innovation correlation matrix of Vector Error Correction Model (VECM) and the other using d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2012